Computable number - PDFSEARCH.IO - Document Search Engine

Computable number
Results: 71

#	Item
61	Computing over the Reals: Where Turing Meets Newton [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-06-22 10:29:01 Computer science Theory of computation Computational complexity theory Computable number Computable function Turing machine Halting problem Computability Real computation Theoretical computer science Computability theory Applied mathematics
62	doi:[removed]j.amc[removed] Add to Reading List Source URL: research.cs.queensu.ca Language: English - Date: 2006-09-06 13:46:42 Computer science Applied mathematics Hypercomputation Church–Turing thesis Computable function Computable number Turing machine Computability Algorithm Theoretical computer science Computability theory Theory of computation
63	Real PCF extended with ∃ is universal (Extended Abstract∗) Mart´ın H¨otzel Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-03-06 21:46:10 Mathematical logic Theory of computation Functions and mappings Formal methods Models of computation Function Computable number Sheaf Lambda calculus Mathematics Computability theory Theoretical computer science
64	Real Number Computability and Domain Theory ∗ Pietro Di Gianantonio dipartimento di Matematica e Informatica, Universit`a di Udine Add to Reading List Source URL: users.dimi.uniud.it Language: English - Date: 2010-04-04 11:51:58 Elementary mathematics Field theory Computable number Computable analysis Computable function Real number Computable real function Rational number Cauchy sequence Mathematics Computability theory Theory of computation
65	jn[removed]Effective computability: Turing machines Add to Reading List Source URL: www.jn.inf.ethz.ch Language: English - Date: 2004-11-18 06:12:17 Computer science Turing machine Models of computation Universal Turing machine Busy beaver Computability Computable function Computable number Halting problem Computability theory Theoretical computer science Theory of computation
66	PDF Document Add to Reading List Source URL: www.kornai.com Language: English - Date: 2003-01-28 17:39:00 Computer science Computer arithmetic Computability theory Computable number Arbitrary-precision arithmetic Computability Floating point Large numbers Multiplication algorithm Mathematics Theory of computation Theoretical computer science
67	PDF Document Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-04-16 08:57:17 Theory of computation Mathematical logic Randomness Computable number Algorithmically random sequence Computable function Random sequence Measure-preserving dynamical system Algorithmic information theory Theoretical computer science Computability theory Mathematics
68	PDF Document Add to Reading List Source URL: world.std.com Language: English - Date: 1999-09-20 12:37:21 Mathematics Probability theory Statistical theory Theory of computation Computability theory Entropy Conditional probability Expected value Computable number Information theory Statistics Theoretical computer science
69	PDF Document Add to Reading List Source URL: web.comlab.ox.ac.uk Language: English Theory of computation Mathematical logic Turing machine Computable number Computable function Entscheidungsproblem Definable real number Function Turing machine examples Computability theory Theoretical computer science Mathematics
70	PDF Document Add to Reading List Source URL: www.thocp.net Language: English - Date: 2006-10-04 07:33:01 Mathematics Models of computation Turing machine Formal methods Computable number Universal Turing machine Computable function Description number Lambda calculus Computability theory Theoretical computer science Theory of computation

UPDATE